(RA (IntInd 4))